1976. Bezboruah, Shepherdson: Gödel's Second Incompleteness Theorem for Q